#variable-explorer-empty-rows {
    margin: 5px;
    font-family: var(--code-font-family);
}